Computability theory

Results: 1231



#Item
11COMMENTARY Considerations of thin and fat Technological innovations

COMMENTARY Considerations of thin and fat Technological innovations

Add to Reading List

Source URL: uaw5810.org

Language: English - Date: 2013-03-18 20:39:32
12Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette

Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2015-01-25 16:18:54
13Convolution and Equidistribution: Sato-Tate Theorems for Finite-field Mellin Transforms Nicholas M. Katz Princeton University Press Princeton and Oxford

Convolution and Equidistribution: Sato-Tate Theorems for Finite-field Mellin Transforms Nicholas M. Katz Princeton University Press Princeton and Oxford

Add to Reading List

Source URL: web.math.princeton.edu

Language: English - Date: 2011-07-20 15:37:28
146 base types types patterns matching clause seq. constants

6 base types types patterns matching clause seq. constants

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2009-12-10 13:53:23
15Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap

Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2009-12-18 13:56:03
16The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract

The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract

Add to Reading List

Source URL: homepages.ecs.vuw.ac.nz

Language: English - Date: 2015-08-18 20:05:39
17Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

Add to Reading List

Source URL: www.edsko.net

Language: English - Date: 2016-08-23 03:13:56
18Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES

Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2011-10-24 08:58:58
19Isomorphisms in the presence of sum and function types Axioms and decidability Danko ILIK Parsifal, Inria

Isomorphisms in the presence of sum and function types Axioms and decidability Danko ILIK Parsifal, Inria

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2014-04-14 11:22:28
20COGNITIVE SCIENCE Vol, pp. 157–205 Copyright © 1999 Cognitive Science Society, Inc. ISSNAll rights of reproduction in any form reserved.

COGNITIVE SCIENCE Vol, pp. 157–205 Copyright © 1999 Cognitive Science Society, Inc. ISSNAll rights of reproduction in any form reserved.

Add to Reading List

Source URL: cnl.psych.cornell.edu

Language: English - Date: 2006-10-09 12:19:23